Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
181	Once, Weakly: Type Structures Type Structures This installment discusses the concept of “type-structures” as a compile-time analog of runtime data structures, and demonstrates how to construct and manipulate simple l Add to Reading List Source URL: www.stevedewhurst.com Language: English - Date: 2015-01-04 09:38:50 C++ C programming language Data types Type theory Procedural programming languages Typedef Struct C Typename Software engineering Computing Computer programming
182	Document number: N3951 Date: Project: Programming Language C++, SG7, Reection Reply-to: Cleiton Santoia Silva <> and Daniel Auresco <> C++ type reection via variadic Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-02-21 12:02:34 Software engineering C programming language Procedural programming languages Data types Typedef Typename Struct Pointer C C++ Computer programming Computing
183	www.computing.me.uk Fortran 77 : 2. Variables and Identifiers Programming languages like Fortran have to be able to apply general formulas or methods to new situations. In order to do this languages have ‘variables’ Add to Reading List Source URL: www.computing.me.uk Language: English - Date: 2010-10-04 18:51:12 Procedural programming languages Data types Fortran Variable C++ classes C Primitive data type MAD ALGOL 68 Computing Software engineering Computer programming
184	Verification and testing of mobile robot navigation algorithms: A case study in SPARK Piotr Trojanek and Kerstin Eder Abstract— Navigation algorithms are fundamental for mobile robots. While the correctness of the algo Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-08-20 15:36:18 Data types Procedural programming languages Cross-platform software C++ Standard Library Theoretical computer science SPARK Vector Field Histogram Ada C Computing Software engineering Computer programming
185	Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version) Add to Reading List Source URL: liu.diva-portal.org Language: English - Date: 2010-07-16 02:44:55 Computing Data types Type theory Procedural programming languages Polyspace Abstract interpretation Static program analysis Type system Aliasing Program analysis Software engineering Programming language theory
186	FEDELE: A Mechanism for Exending the Syntax and Semantics for the Hybrid Functional-Object-Oriented Scripting Language FOBS James Gil de Lamadrid Bowie State University, 14000 Jericho Pk Rd, Bowie, MD[removed]jgildelamadr Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Data types Cross-platform software Procedural programming languages Type theory Scripting languages Anonymous function C Foreach loop Scope Software engineering Computing Computer programming
187	19 Implementing Higher-Order Functions This chapter is about writing higher-order procedures—that is, procedures that implement higher-order functions. We are going to study the implementation of every, keep, and Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:18 Lisp programming language Procedural programming languages Functional programming Functional languages Data types Fortran Lisp Function Cons Computing Software engineering Computer programming
188	1 Using Redundancies to Find Errors Yichen Xie and Dawson Engler Computer Systems Laboratory Stanford University Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2003-07-10 05:43:54 Data types Type theory Primitive types Software bugs Procedural programming languages Pointer Null C Tagged union Computing Software engineering Computer programming
189	ACK/CEM Compiler Reference Manual Erik H. Baalbergen Department of Mathematics and Computer Science Vrije Universiteit Amsterdam Add to Reading List Source URL: tack.sourceforge.net Language: English - Date: 2011-02-11 16:00:22 C programming language C++ Data types Procedural programming languages Enumerated type C++ classes Initialization Sizeof C Software engineering Computer programming Computing
190	Tracking Bad Apples: Reporting the Origin of Null and Undefined Value Errors ∗ Michael D. Bond Nicholas Nethercote Add to Reading List Source URL: valgrind.org Language: English - Date: 2007-08-28 18:44:20 Data types Primitive types Cross-platform software Procedural programming languages Memory management Valgrind Pointer Undefined value Jikes RVM Computing Software engineering Computer programming

UPDATE